• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文OA文献 >Model-based Membership Verification in Vehicular Platoons
【2h】

Model-based Membership Verification in Vehicular Platoons

机译：车辆排中基于模型的成员资格验证

代理获取
本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Cooperative vehicular systems have the potentialto significantly increase traffic efficiency and safety. However,they also raise the question of to what extent information thatis received from other vehicles can be trusted. In this paperwe present a novel approach for increasing the trustworthinessof cooperative driving through a model-based approach forverifying membership views in vehicular platoons. We define aformal model for platoon membership, cooperative awarenessclaims, and membership verification mechanisms. With the helpof a satisfiability solver, we are able to quantitatively analysethe impact of different system parameters on the verifiability ofreceived information. Our results demonstrate the importance ofcross validating received messages, as well as the surprising diffi-culty in establishing correct membership views despite powerfulverification mechanisms.
机译：协作车辆系统具有显着提高交通效率和安全性的潜力。但是，它们也提出了一个问题，即从其他车辆接收到的信息在多大程度上可以信任。在本文中，我们提出了一种新颖的方法，可通过基于模型的方法来验证车辆排中的成员视图，从而提高合作驾驶的可信赖性。我们为排成员，合作意识声明和成员验证机制定义了一个正式模型。在可满足性求解器的帮助下，我们能够定量分析不同系统参数对接收信息可验证性的影响。我们的结果证明了交叉验证接收到的消息的重要性，以及尽管建立了强大的验证机制，但在建立正确的成员资格视图方面令人吃惊的困难。

著录项

  • 作者

    Asplund, Mikael;

  • 作者单位
  • 年度 2015
  • 总页数
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类

相似文献

  • 外文文献
  • 中文文献
  • 专利
代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号